6

Verifying persistent security properties

Year:
2004
Language:
english
File:
PDF, 411 KB
english, 2004
26

Compositional information flow security for concurrent programs

Year:
2007
Language:
english
File:
PDF, 316 KB
english, 2007